Skip to content

Conversation

jch
Copy link
Member

@jch jch commented Feb 24, 2017

No description provided.

@jch jch merged commit 78e97ed into master Feb 24, 2017
@jch jch deleted the release-0.16.0 branch February 24, 2017 18:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant